definition of neighborhood of a point in topological space